From 464842ea36e88de94135609fcdfdfe3240e64076 Mon Sep 17 00:00:00 2001 From: "Owen W. Taylor" Date: Sat, 8 Aug 2009 10:44:22 -0400 Subject: [PATCH] Change to $HOME before launching gnome-panel again When exiting from --replace mode, we want to start the new gnome-panel with a reasonable working directory so that if, you say, open a terminal from it it doesn't start off in the gnome-shell directory. (gnome-shell itself is running in $HOME because mutter changes directory itself at startup.) Reported by Mathieu Bridon http://bugzilla.gnome.org/show_bug.cgi?id=591145 --- src/gnome-shell.in | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/gnome-shell.in b/src/gnome-shell.in index 12a607f97..ebb0f3957 100644 --- a/src/gnome-shell.in +++ b/src/gnome-shell.in @@ -301,6 +301,11 @@ finally: if not run_in_xephyr: # Restart gnome-panel and window manager + + # We don't want to start the new gnome-panel in the current + # directory; $HOME is better for stuff launched from it + os.chdir(os.path.expanduser("~")) + if metacity_pid: if options.verbose: print "Restarting Metacity" -- 2.39.5